421. Spintronics-Based Architectures for Non-Von Neumann Computing
پدیدآورنده : Mondal, Ankit
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Computer engineering,Electrical engineering
422. Spintronics-Based Architectures for Non-Von Neumann Computing
پدیدآورنده : Mondal, Ankit
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Computer engineering,Electrical engineering
423. Spreadsheets
پدیدآورنده : Brendan Munnelly and Paul Holden.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic spreadsheets -- Examinations -- Study guides.,European Computer Driving Licence.,Microsoft Office.
424. Statistical and Scientific Database Management :
پدیدآورنده : edited by Maurizio Rafanelli, John C. Klensin, Per Svensson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Database management.,Medical records -- Data processing.
رده :
QA76
.
9
.
D3
E358
1989
425. Statistical and Scientific Database Management :
پدیدآورنده : edited by Maurizio Rafanelli, John C. Klensin, Per Svensson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Database management.,Medical records -- Data processing.
426. Statistics :
پدیدآورنده : / David J. Hand
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Statistics,Statistiek. , gtt
رده :
E-BOOK
427. Statistics with Vague Data
پدیدآورنده : by Rudolf Kruse, Klaus Dieter Meyer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information theory.,Statistics.
رده :
QA248
.
B978
1987
428. Stormwater design for sustainable development /
پدیدآورنده : Ronald L. Rossmiller.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Drainage.,Storm sewers.,Sustainable development.,Urban runoff-- Management.,Drainage.,Storm sewers.,Sustainable development.,TECHNOLOGY & ENGINEERING-- Environmental-- Waste Management.,Urban runoff-- Management.
رده :
TD657
.
R67
2014
429. String processing and information retrieval :
پدیدآورنده : edited by Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information retrieval, Congresses.,Text processing (Computer science), Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Computer Imaging, Vision, Pattern Recognition and Graphics.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information retrieval.,Text processing (Computer science)
رده :
QA76
.
9
.
T48
430. Subsystems of Second Order Arithmetic
پدیدآورنده : by Stephen G. Simpson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
431. Superconducting Electronics
پدیدآورنده : edited by Harold Weinstock, Martin Nisenoff.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering.,Physics.,Software engineering.
رده :
TK7872
.
S8
E358
1989
432. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
433. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : / Gotz Alfeld...[et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer arithmetic,Floating - Point Arithmetic,Numerical Calculations - Verification
رده :
QA76
.
9
.
M35S92
2001
434. Symbolic and Algebraic Computation :
پدیدآورنده : edited by Edward W. Ng.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA155
.
7
.
E4
E358
1979
435. Synergetics of Cognition :
پدیدآورنده : edited by Hermann Haken, Michael Stadler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Neurosciences.,Physics.
رده :
BF311
.
E358
1990
436. Synthesis of arithmetic circuits :
پدیدآورنده : / Jean-Pierre Deschamps, G├شry Jean Antoine Bioul, Gustavo D. Sutter.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer arithmetic and logic units.,Digital electronics.,Embedded computer systems. 1
رده :
E-BOOK
437. Synthesis of arithmetic circuits :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer arithmetic and logic units. ;
438. Synthesis of arithmetic circuits
پدیدآورنده : / Jean-Pierre Deschamps, Gaery Jean Antoine Bioul, Gustavo D. Sutter
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer arithmetic and logic units,Digital electronics,Embedded computer systems
رده :
TK7895
.
A65D47
2006
439. Synthesis of arithmetic circuits
پدیدآورنده : / Jean-Pierre Deschamps, Gery Jean Antoine Bioul, Gustavo D. Sutter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer arithmetic and logic units,Digital electronics,Embedded computer systems
رده :
TK7895
.
A65
,
D47
2005
440. Synthesis of arithmetic circuits
پدیدآورنده : / Jean-Pierre Deschamps, Gery Jean Antoine Bioul, Gustavo D. Sutter
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Computer arithmetic and logic units,Digital electronics,Embedded computer systems
رده :
TK
7895
.
A65D47
2005
